#include "Services_KA.h"

extern stateMachine sChargerState;

void vfnICS_Configure (void)
{
    ICSC1 = ICS_CONTROL_REG1;
    ICSC2 = ICS_CONTROL_REG2;
    ICSTRM = NVICSTRM;         
}

uint8 u8CheckPendingInterrupts (void)
{
    return SIP1;
}

void vfnSystemOptionsInit (void)
{
    SOPT = SYS_CONFIG;      
}
